package scanner.automata;

/**
 * A basic DFA interface.
 * @author 
 */
public interface DFA extends FiniteAutomata {    
    /**
     * Returns the list of state resulting in moving from the fromState to the 
     */
    public State transition(State fromState, Character letter);
    
}
